Search
1 heading found for n 84088112
Heading | Type | Sample Title | |
---|---|---|---|
1 |
Rödding, Dieter (1937-1984).
Rödding, D. (Dieter), 1937- Rödding, D. Dieter Rödding deutscher Mathematiker Rödding, Dieter Rödding, D. (Dieter) |
Personal | Berechenbarkeit, Komplexität, Logik : eine Einführung in Algorithmen, Sprachen
...
Arithmetische und hyperarithmetische Prädikate : Logic and machines: decision problems and complexity : proceedings of the sympos ... Berechenbarkeit, Komplexität, Logik : eine Einführung in Algorithmen, Sprachen ... Reduktionstypen der Prädikatenlogik : nach einer einstündigen Vorlesung |